Revert "Adwaita: remove unneeded margin on dropdown menu"
authorLapo Calamandrei <calamandrei@gmail.com>
Tue, 9 May 2017 11:34:49 +0000 (13:34 +0200)
committerLapo Calamandrei <calamandrei@gmail.com>
Tue, 9 May 2017 11:34:49 +0000 (13:34 +0200)
This reverts commit af76e138f947d5cf3e83e4b820f7e64fd0316799.
The margin was actually related to:
https://bugzilla.gnome.org/show_bug.cgi?id=591258

gtk/theme/Adwaita/_common.scss

index d2d9122272d3db4d594bc0ff4f366fcb06b27158..d971ac7220b39e78281b5a85b5115360d586ae1e 100644 (file)
@@ -1898,6 +1898,7 @@ menubar,
 menu,
 .menu,
 .context-menu {
+  margin: 4px;
   padding: 2px 0px;
   background-color: $menu_color;
   border: 1px solid $borders_color; // adds borders in a non composited env